首页> 外文OA文献 >Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking

【2h】

Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking

机译：并发递归程序的时间逻辑：可满足性和模型检查

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Bollig, Benedikt; Cyriac, Aiswarya; Gastin, Paul; Zeitoun, Marc;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Temporal logics for concurrent recursive programs: Satisfiability and model checking [J] . Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, Journal of Applied Logic . 2014,第4期

机译：并发递归程序的时态逻辑：可满足性和模型检查
2. Bounded Satisfiability Checking of Metric Temporal Logic Specifications [J] . MATTEO PRADELLA, ANGELO MORZENTI, PIERLUIGI SAN PIETRO ACM transactions on software engineering and methodology . 2013,第3期

机译：度量时间逻辑规范的有界可满足性检查
3. Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software [J] . Yajun WU, Satoshi YAMANE IEICE transactions on information and systems . 2020,第4期

机译：模型检查使用实时时间逻辑RTCTL及其在真正的微控制器软件应用程序的实时性能
4. Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking [C] . Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, Mathematical foundations of computer science 2011 . 2011

机译：并发递归程序的时间逻辑：可满足性和模型检查
5. Model checking for a first-order temporal logic using multiway decision graphs. [D] . Xu, Ying. 1999

机译：使用多路决策图对一阶时间逻辑进行模型检查。
6. Model Checking Temporal Logic Formulas Using Sticker Automata [O] . Weijun Zhu, Changwei Feng, Huanmei Wu 2006

机译：使用贴纸自动机模型检查时间逻辑公式
7. Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking [O] . Bollig, Benedikt, Cyriac, Aiswarya, Gastin, Paul, 2014

机译：并发递归程序的时态逻辑：可满足性和模型检查
8. Model Checking Linear Temporal Logic Properties of Petri Nets with Fairness Constraints. [R] . Latvala, T. 2001

机译：具有公平约束的petri网线性时态逻辑性质模型检验。

Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅